Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
361	Curriculum Vitae and List of Publications Hannes Leitgeb May 2015 Department Address Chair of Logic and Philosophy of Language, Alexander von Humboldt Professor, and Add to Reading List Source URL: www.philosophie.uni-muenchen.de Language: English Epistemology Philosophers of mathematics Abstraction Philosophy of mathematics Lottery paradox Many-valued logic Non-monotonic logic Synthese Formal epistemology Philosophy Logic Knowledge
362	Partial-Coherence Abstractions for Relaxed Memory Models Michael Kuperstein Martin Vechev Eran Yahav ∗ Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-03-21 07:47:48 Mathematics Formal methods Formal languages Programming language semantics Memory barrier Abstract interpretation Operational semantics Abstraction Formal verification Theoretical computer science Logic in computer science Applied mathematics
363	Morphology and Reranking for the Statistical Parsing of Spanish Brooke Cowan MIT CSAIL Abstract We present two methods for incorporating detailed features in a Spanish parser, Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2008-12-21 17:22:25 Corpus linguistics Statistical natural language processing Formal languages Treebank Part-of-speech tagging Parsing Parse tree Stochastic context-free grammar Statistical parsing Linguistics Natural language processing Computational linguistics
364	Learning with Compositional Semantics as Structural Inference for Subsentential Sentiment Analysis Yejin Choi and Claire Cardie Department of Computer Science Cornell University Ithaca, NY 14853 Add to Reading List Source URL: blog.appinions.com Language: English - Date: 2014-10-31 15:21:37 Computational linguistics Grammar Natural language processing Semantics Formal languages Polarity item Sentiment analysis Heuristic English language Languages of Africa Languages of Oceania Culture
365	Tableaux with Automata (Extended Abstract) Oliver Friedmann and Martin Lange Dept. of Computer Science, University of Munich, Germany 1 Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:21 Mathematical logic Method of analytic tableaux Ω-automaton Tree automaton Modal μ-calculus Modal logic Formal language Well-formed formula Deterministic automaton Logic Automata theory Mathematics
366	The Monad.Reader Issue 16 by Aran Donohue and John W. Lato and Louis Wasserman May 12, 2010 Add to Reading List Source URL: themonadreader.files.wordpress.com Language: English - Date: 2010-05-12 14:00:40 Models of computation Software engineering Computing Nondeterministic finite automaton Deterministic finite automaton Regular expression Monad Finite-state machine Regular language Automata theory Formal languages Theoretical computer science
367	facultad de inform´ atica universidad polit´ecnica de madrid CLIP Group Publications by Topic The CLIP Group Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2015-06-05 06:02:09 Formal sciences International Conference on Logic Programming CiteSeer Computer science Programming language Logic International Chinese Language Program Academia Science Knowledge
368	Overcoming the Knowledge Engineering Bottleneck for Understanding Student Language Input Carolyn P. Ros´e, Andy Gaydos, Brian S. Hall, Antonio Roque, and Kurt VanLehn Learning Research and Development Center, University Add to Reading List Source URL: aroque.bol.ucla.edu Language: English - Date: 2010-11-21 01:04:58 Semantics Mathematical logic Grammar Formal languages Computational linguistics Semantic network Well-formed formula Proposition First-order logic Logic Linguistics Science
369	Languages vs. ω-Languages in Regular Infinite Games Namit Chaturvedi? , Jörg Olschewski?? , and Wolfgang Thomas Lehrstuhl Informatik 7, RWTH Aachen University, Germany {chaturvedi,olschewski,thomas}@automata.rwth-aache Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 11:02:51 Formal languages Computer science Theory of computation Ω-automaton Omega language Büchi automaton Symbol Determinacy Regular language Automata theory Mathematics Theoretical computer science
370	Application of a Formal Specification Language in the Development of the “Mobile FeliCa” IC Chip Firmware for Embedding in Mobile Phone Formal Methods 2008 15th International Symposium on Formal Methods May 26-30, 20 Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-06-04 08:53:19 D Technology Management Information Yamato Transport Formal specification Specification language Specification

UPDATE